the_cube Imagine you are in a desert. In your field of view you see a cube. Visualize the cube. What does it look like? Is it far away or close to you?

Source URL: www.likedotmag.com

• Psychology
• Psychoanalysis
• Freudian psychology
• Personality
• Narcissism
• Ego psychology
• Psychoanalytic theory
• Mirror stage
• Psychology of self
• Ego ideal
• Jacques Lacan
• MyersBriggs Type Indicator

The superjump in Martin-L¨of type theory Michael Rathjen School of Mathematics, University of Leeds, Leeds LS2 9JT, UK Abstract Universes of types were introduced into constructive type theory by MartinL¨ofThe i

Source URL: www1.maths.leeds.ac.uk

Categorical structures in type theory, in (univalent) type theory B. Ahrens about j. w. w. P. LeF. Lumsdaine, V. Voevodsky 2016–05–20

Source URL: benedikt-ahrens.de

Towards Virtual Traits in Scala Manuel Weiel Ingo Maier Sebastian Erdweg

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Object-oriented programming languages
• Type theory
• Concurrent programming languages
• Object-oriented programming
• C++
• Scala
• Trait
• Mixin
• Abstract type

An Extension of Martin-Löf Type Theory with Sized Types Andreas Abel1 and Théo Winterhalter2 1 Department of Computer Science and Eng., Gothenburg University, Sweden

Source URL: www2.tcs.ifi.lmu.de

Carnegie Mellon Dynamic  Memory  Alloca/on:     Basic  Concepts   15-­‐213:  Introduc0on  to  Computer  Systems   17th  Lecture,  Oct.  21,  2010  

Source URL: www.cs.cmu.edu

• Software engineering
• Computing
• Computer programming
• Memory management
• C++
• Data types
• C dynamic memory allocation
• C standard library
• Type theory
• Allocator
• Pointer
• Data segment

Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗

Source URL: ludovicpatey.com

• Mathematical logic
• Computability theory
• Mathematics
• Theoretical computer science
• Proof theory
• Logic in computer science
• Theory of computation
• Second-order arithmetic
• Combinatory logic
• Reverse mathematics
• Computable function

Recent progress in Homotopy type theory Egbert Rijke Bas Spitters Radboud University Nijmegen

Source URL: www.cs.ru.nl

Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY

Source URL: www.lri.fr

• Proof assistants
• Real numbers
• Automated theorem proving
• Elementary mathematics
• Type theory
• First-order logic
• Construction of the real numbers
• Constructivism
• Mathematical logic
• Isabelle
• Axiom
• Setoid

PDF Document

Source URL: www.cs.umd.edu

• Type theory
• Object-oriented programming languages
• Scripting languages
• Program analysis
• Type system
• Objective-C
• Ruby
• Dynamic programming language
• Fold
• Library
• JavaScript
• Monad